Assessment of the Viability of a Biometric Characteristic in the Context of Biometric Authentication on Mobile Devices

The issue of safe utilization of mobile devices is becoming an increasingly important problem, among others due to the widespread use of such devices to access sensitive data (such as electronic documents or banking data). In our work we analyze the use of biometric techniques in order to secure a mobile device, with particular emphasis on the viability of selected biometric characteristics. For this purpose, we investigate the possibility of applying machine learning models to assess the authenticity of a biometric characteristic. Results of our tests have shown that the most effective method of assessing the viability of a biometric characteristic involves blink and smile detection

Towards an Anthropological History of the Contemporary World

Introduction to the volume of the Anthropology of History Yearbook (Anthropology / history of the Contemporary World), in which the relations between contemporary anthropology and contemporary history are discussed. According to the authors, anthropology and history inspired by each other have a special role to play in the reflection on contemporary culture.Wprowadzenie do tomu Rocznika Antropologii Historii (Antropologia współczesności – historia współczesności), w którym omawiane są związki antropologii współczesności z historią współczesności. Zdaniem autorów antropologia i historia inspirowane sobą wzajemnie mają do odegrania szczególną rolę w refleksji nad kulturą współczesną

Polish grid infrastructure for science and research

Structure, functionality, parameters and organization of the computing Grid in Poland is described, mainly from the perspective of high-energy particle physics community, currently its largest consumer and developer. It represents distributed Tier-2 in the worldwide Grid infrastructure. It also provides services and resources for data-intensive applications in other sciences.Comment: Proceeedings of IEEE Eurocon 2007, Warsaw, Poland, 9-12 Sep. 2007, p.44

An Extensible User Interface for Lean 4

Contemporary proof assistants rely on complex automation and process libraries with millions of lines of code. At these scales, understanding the emergent interactions between components can be a serious challenge. One way of managing complexity, long established in informal practice, is through varying external representations. For instance, algebraic notation facilitates term-based reasoning whereas geometric diagrams invoke spatial intuition. Objects viewed one way become much simpler than when viewed differently. In contrast, modern general-purpose ITP systems usually only support limited, textual representations. Treating this as a problem of human-computer interaction, we aim to demonstrate that presentations - UI elements that store references to the objects they are displaying - are a fruitful way of thinking about ITP interface design. They allow us to make headway on two fronts - introspection of prover internals and support for diagrammatic reasoning. To this end we have built an extensible user interface for the Lean 4 prover with an associated ProofWidgets 4 library of presentation-based UI components. We demonstrate the system with several examples including type information popups, structured traces, contextual suggestions, a display for algebraic reasoning, and visualizations of red-black trees. Our interface is already part of the core Lean distribution

Ku antropologicznej historii współczesności

Introduction to the volume of the Anthropology of History Yearbook (Anthropology / history of the Contemporary World), in which the relations between contemporary anthropology and contemporary history are discussed. According to the authors, anthropology and history inspired by each other have a special role to play in the reflection on contemporary culture.Wprowadzenie do tomu Rocznika Antropologii Historii (Antropologia współczesności – historia współczesności), w którym omawiane są związki antropologii współczesności z historią współczesności. Zdaniem autorów antropologia i historia inspirowane sobą wzajemnie mają do odegrania szczególną rolę w refleksji nad kulturą współczesną

Certified Knowledge Compilation with Application to Verified Model Counting

Computing many useful properties of Boolean formulas, such as their weighted or unweighted model count, is intractable on general representations. It can become tractable when formulas are expressed in a special form, such as the decision-decomposable, negation normal form (dec-DNNF) . Knowledge compilation is the process of converting a formula into such a form. Unfortunately existing knowledge compilers provide no guarantee that their output correctly represents the original formula, and therefore they cannot validate a model count, or any other computed value. We present Partitioned-Operation Graphs (POGs), a form that can encode all of the representations used by existing knowledge compilers. We have designed CPOG, a framework that can express proofs of equivalence between a POG and a Boolean formula in conjunctive normal form (CNF). We have developed a program that generates POG representations from dec-DNNF graphs produced by the state-of-the-art knowledge compiler D4, as well as checkable CPOG proofs certifying that the output POGs are equivalent to the input CNF formulas. Our toolchain for generating and verifying POGs scales to all but the largest graphs produced by D4 for formulas from a recent model counting competition. Additionally, we have developed a formally verified CPOG checker and model counter for POGs in the Lean 4 proof assistant. In doing so, we proved the soundness of our proof framework. These programs comprise the first formally verified toolchain for weighted and unweighted model counting

Magnetization dynamics down to zero field in dilute (Cd,Mn)Te quantum wells

The evolution of the magnetization in (Cd,Mn)Te quantum wells after a short pulse of magnetic field was determined from the giant Zeeman shift of spectroscopic lines. The dynamics in absence of magnetic field was found to be up to three orders of magnitude faster than that at 1 T. Hyperfine interaction and strain are mainly responsible for the fast decay. The influence of a hole gas is clearly visible: at zero field anisotropic holes stabilize the system of Mn ions, while in a magnetic field of 1 T they are known to speed up the decay by opening an additional relaxation channel

Problem baby blues wśród polskich położnic – zakres posiadanej wiedzy wśród studentów medycyny

Introduction Mental disorders are a common problem of women during the puerperium. Baby blues is an immediate emergency and a danger to the mother. It can develop into depression or postpartum psychosis. Hormonal changes related to the decrease in the level of estradiol, progesterone and prolactin after childbirth are considered to be the pathogenesis of this phenomenon. Postpartum depression is a self-limiting and transient disorder. However, it should not be taken lightly. The most important thing is to identify symptoms early and intervene. Aim of the study The aim of the study was to assess students' knowledge of the baby blues phenomenon and the impact of factors such as place of residence or education on the state of knowledge. Material and methods 318 medical students of the Jan Kochanowski University were included in the research. The data was collected using the author's questionnaire. The Bioethics Committee approved the study. Statistical analysis was performed with the use of the Statistica 13 computer program. Results and conclusions The highest percentage of the respondents is in the 20-30 age group. City dwellers constitute the most numerous group. The average level of the respondents' knowledge about baby blues is 75%. The most frequently indicated sources of knowledge are the Internet and TV programs. It is important to make patients aware of how to choose a reliable source of information. Health education is crucial for future parents. It can result in a reduction in the level of stress associated with the new situation of having children.Wstęp Zaburzenia psychiczne stanowią częsty problem kobiet w okresie połogu. Baby blues jest bezpośrednim stanem alarmowym i zagrożeniem dla matki. Może  rozwinąć się w rzeczywistą depresję czy psychozę poporodową. Za patogenezę tego zjawiska uznawane są zmiany hormonalne związane ze spadkiem poziomu estradiolu, progesteronu i prolaktyny po porodzie. Przygnębienie poporodowe jest zaburzeniem samoograniczającym się i przejściowym. Nie powinno być jednak lekceważone. Najważniejsze jest wczesne rozpoznanie objawów i interwencja. Cel pracy Celem pracy była ocena wiedzy studentów na temat zjawiska baby blues oraz wpływu czynników takich jak miejsce zamieszkania czy poziom wykształcenia na stan wiedzy. Materiał i metody Badaniem zostało objętych 318 studentów medycyny UJK. Dane zostały zebrane za pomocą kwestionariusza autorskiego. Komisja Bioetyczna zatwierdziła badanie. Analiza statystyczna przeprowadzona została za pomocą programu komputerowego Statistica 13. Wyniki i wnioski Największy odsetek respondentów mieści się w grupie wiekowej 20-30 lat. Najbardziej liczną grupę stanowią mieszkańcy miast. Średni poziom wiedzy respondentów na temat baby blues wynosi 75%. Najczęściej wskazywanym źródłem wiedzy są Internet oraz programy telewizyjne. Ważne jest uświadomienie pacjentom w jaki sposób dobierać rzetelne źródło informacji. Edukacja prozdrowotna ma kluczowe znaczenie dla przyszłych rodziców. Może przekładać się na  zmniejszenie poziomu stresu związanego z nową sytuacją jaka jest posiadanie potomstwa